" /> /cgi-bin/koha/unapi" /> /cgi-bin/koha/opac-search.pl?q=ccl=su%253A%2522Maths-Statistics%2522%2520and%2520au%253AGallier%252C%2520Jean%2520H.&count=50&sort_by=acqdate_dsc&format=rss2" />

IIITV Library

Your cart is empty.

Your search returned 2 results. /cgi-bin/koha/opac-search.pl?q=ccl=su%253A%2522Maths-Statistics%2522%2520and%2520au%253AGallier%252C%2520Jean%2520H.&count=50&sort_by=acqdate_dsc&format=rss2" class="rsssearchlink noprint">Subscribe to this search

Unhighlight Highlight
|
1.
Logic for computer science Foundations of automatic theorem proving Gallier, Jean H.

by Gallier, Jean H.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: Not fiction Publisher: New York Dover publication inc 1986Availability: Items available for loan: [Call number: 511.36028563 GAL] (1).

Place hold Add to cart
2.
Logic for computer science | Foundations of automatic theorem proving | Jean H. Gallier

by Gallier, Jean H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York Dover publication inc 1986Availability: Items available for loan: [Call number: 511.36028563 GAL] (2).

Place hold Add to cart

Central Library, Indian Institute of Information Technology, Vadodara
Block No.9, Government Engineering College,
Sector-28, Gandhinagar, Gujarat - 382028 (India)
library@iiitvadodara.ac.in

Powered by Koha